#include <stdio.h>
int main()
{
	int seconds ,hour ,minute;
	scanf("%d",&seconds);//seconds=3000;
	hour=seconds/3600;
	seconds=seconds-hour*3600;
	minute=seconds/60;
	seconds=seconds-minute*60;
	printf("%d:%d:%d\n",hour,minute,seconds);
	return 0;
}
